<?php

class PhpDocGtk_Exception extends Exception {
	
}
?>